H ? « ‹ ← → › »

Language peer sets for Curry Combinatorials:
United States↑
United States/1958↑
Designed 1958 ↑
1950s languages ↑
Second generation↑
Early Cold War↑
Genus Other lambda ↑
Specialised Languages ↑
Other lambda↑
Lambda caculus↑
Functional ↑
Other lambda/1958↑
Lambda caculus/1958↑
Functional/1958↑
Other lambda/United States↑
Lambda caculus/United States↑
Functional/United States↑
Specialised Languages ↑
Specialised Languages/1958↑
Specialised Languages/us ↑

Curry Combinatorials(ID:7828/)

alternate simple view
Country: United States
Designed 1958
Genus: Other lambda
Sammet category: Specialised Languages
Related languages
Curry programming system → Curry Combinatorials   influence
Schoenfinkel → Curry Combinatorials   Adaptation of
Curry Combinatorials → CUCH   Influence
Curry Combinatorials → Genotype   Based on
References:
  • Curry, Haskell B., and Feys, Robert, (1958) Curry, Haskell B., and Feys, Robert, "Combinatory logic," North-Holland Publ. Co., 1958.
  • Smullyan, Raymond (1985) Smullyan, Raymond "an Amazing Adventure in Combinatory Logic " in "To Mock a Mockingbird and other logical puzzles" Knopf 1985
  • Fairouz Kamareddine, Twan Laan and Rob Nederpelt (2000) Fairouz Kamareddine, Twan Laan and Rob Nederpelt "A History of Types in Logic and Mathematics"
          in [Proceedings] (2000) Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder